System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
701	Division of Engineering and Applied Sciences • Harvard University • CS101 • Fall[removed]CS101: From Nand to Tetris Prof. Shimon Schocken “Nothing is more important than seeing the sources of invention which are, i Add to Reading List Source URL: www.nand2tetris.org Language: English - Date: 2012-08-15 13:22:51 Programming language implementation Cross-platform software Procedural programming languages Hardware description language Logic design Technical communication Virtual machine Compiler VM Computing Software System software
702	THE VIRTUALIZATION SPECTRUM FROM HYPERTHREADS TO GRIDS† Neil J. Gunther Performance Dynamics Company, Castro Valley, California, USA www.perfdynamics.com Modern virtual machines (VMs) can be opaque to conventional perf Add to Reading List Source URL: www.perfdynamics.com Language: English - Date: 2007-01-25 21:19:31 Threads Virtual machines Programming language implementation VM Hyper-V Hyper-threading Scheduling Hypervisor Multithreading System software Computing Software
703	Proc. Natl. Acad. Sci. USA Vol. 77, No. 11, pp[removed], November 1980 Applied Mathematical Science Computers-The software situation* JACOB T. SCHWARTZ Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:57:05 Computer programming Computing Programming paradigms Software Programming language theory Notation Programming language System programming
704	Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:11:33 Program analysis Data types Software testing Abstract interpretation Static program analysis Patrick Cousot Software verification Type system Polyspace Software engineering Programming language theory Computing
705	29 Customizing and Running the Trimaran System Trimaran Tutorial Add to Reading List Source URL: www.trimaran.org Language: English - Date: 2007-03-06 21:23:11 Programming language implementation Compiler Compiler construction
706	The National Physical Laboratory (NPL) • Recent Nuclear Medicine Work – Incorporation of new electrometer system • Switching unit : Low leakage current • Attempt to minimise waiting periods Add to Reading List Source URL: physics.nist.gov Language: English - Date: 2010-08-18 09:17:16 Radiation oncology Calibration Standards Ionization chamber Brachytherapy Kilogram NORD Programming Language Metrology Measurement Medical physics
707	Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed] Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:12 Automated theorem proving Lisp programming language Mathematical logic Randomness Prototype Verification System IP Proof assistant Dependent type Common Lisp Computing Software engineering Logic
708	HOL Formalised: Deductive System R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:58:39 Logic in computer science Formal methods Theoretical computer science Algorithms Hindley–Milner Type theory HOL ALGOL 68 Natural deduction Logic Mathematics Programming language theory
709	Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-09-04 21:01:39 Mathematics Programming language theory Object-oriented programming Polymorphism Subtype polymorphism Type system Structure Model theory Natural deduction Data types Type theory Software engineering
710	The Cecil Language Specification and Rationale Version 3.2 Craig Chambers and the Cecil Group Department of Computer Science and Engineering University of Washington Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2006-03-23 19:43:32 Computing Cecil Type system Prototype-based programming Inheritance Subtype polymorphism Class C++ Multiple inheritance Software engineering Computer programming Object-oriented programming

UPDATE